Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
891	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
892	2011 International Conference on Reconfigurable Computing and FPGAs An Energy Efﬁcient FPGA Accelerator for Monte Carlo Option Pricing with the Heston Model Christian de Schryver, Ivan Shcherbakov, Frank Kienle, Norbe Add to Reading List Source URL: ems.eit.uni-kl.de Language: English - Date: 2012-02-27 11:00:29 Finance Electronic engineering Digital electronics Stochastic processes Reconfigurable computing Xilinx Field-programmable gate array Parallel computing Valuation of options Options Financial economics Mathematical finance
893	Environment and Planning B: Planning and Design 2015, volume 42, pages 191 – 194 doi:b4202ed Editorial Add to Reading List Source URL: www.envplan.com Language: English - Date: 2015-03-20 12:39:37 Transportation planning Economic model Trip distribution Conceptual model Scientific theory Scientific modelling Scientific method Mathematical model Computer experiment Science Ethology Cognition
894	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
895	A Logic-based Framework for Verifying Consensus Algorithms? Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3?? 1 Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-12-10 04:45:58 Predicate logic Model theory Propositional calculus Theoretical computer science First-order logic Algorithm Function Predicate Interpretation Logic Mathematical logic Mathematics
896	The Economic Journal, 124 (August), F513–F533. Doi: ecoj.12128 © 2014 Royal Economic Society. Published by John Wiley & Sons, 9600 Garsington Road, Oxford OX4 2DQ, UK and 350 Main Street, Malden, MA 02148, USA Add to Reading List Source URL: itzhakgilboa.weebly.com Language: English - Date: 2015-01-28 06:07:31 Economic theories Philosophy of science Critical thinking Economic model Behavioral economics Macroeconomic model Mathematical model Scientific theory Game theory Science Ethology Knowledge
897	optiSLang PAR A METER I DENTI FICATION In parameter identiﬁcation tasks the deviation between measures and the numerical results are minimized by identifying the input parameters of a model. Sensitivity analysis provi Add to Reading List Source URL: www.dynardo.de Language: English - Date: 2013-05-24 04:47:30 Sensitivity analysis Mathematical optimization Business Systems engineering Knowledge Quality Operations research Process management Scientific modeling
898	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
899	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
900	Macroeconomies as Constructively Rational Games Ekaterina Sinitskaya and Leigh Tesfatsion Department of Economics, Iowa State University Ames, Iowa , Add to Reading List Source URL: www2.econ.iastate.edu Language: English - Date: 2015-05-01 12:02:05 Mathematical economics Macroeconomic model General equilibrium theory Computational economics Bellman equation Dynamic stochastic general equilibrium Agent Mathematical optimization Economic model Economics Macroeconomics New classical macroeconomics

UPDATE